A B C D E F G H I L M N P Q R S T U V

A

add(AtomicConcept) - Method in class tbox.Alfabeth
 
add(AtomicRole) - Method in class tbox.Alfabeth
 
add(AtomicValueDomain) - Method in class tbox.Alfabeth
 
add(AtomicConceptAttribute) - Method in class tbox.Alfabeth
 
add(AtomicRoleAttribute) - Method in class tbox.Alfabeth
 
addAssertion(InclusionAssertion) - Method in class tbox.TBox
 
addAssertion(FunctionalityAssertion) - Method in class tbox.TBox
 
addAssertion(IdentificationAssertion) - Method in class tbox.TBox
 
addISA(ISA) - Method in class tbox.TBox
 
Alfabeth - Class in tbox
 
Alfabeth() - Constructor for class tbox.Alfabeth
 
Alfabeth(Vector<AtomicConcept>, Vector<AtomicRole>, Vector<AtomicValueDomain>, Vector<AtomicConceptAttribute>, Vector<AtomicRoleAttribute>) - Constructor for class tbox.Alfabeth
 
alfabeth - Variable in class tbox.TBox
 
assertions - package assertions
 
AtomicConcept - Class in domain
 
AtomicConcept(String) - Constructor for class domain.AtomicConcept
 
AtomicConceptAttribute - Class in domain
 
AtomicConceptAttribute(String) - Constructor for class domain.AtomicConceptAttribute
 
AtomicRole - Class in domain
 
AtomicRole(String) - Constructor for class domain.AtomicRole
 
AtomicRoleAttribute - Class in domain
 
AtomicRoleAttribute(String) - Constructor for class domain.AtomicRoleAttribute
 
AtomicValueDomain - Class in domain
 
AtomicValueDomain(String) - Constructor for class domain.AtomicValueDomain
 

B

b - Variable in class domain.NegatedBasicConcept
 
BasicConcept - Class in domain
 
BasicConcept() - Constructor for class domain.BasicConcept
 
BasicRole - Class in domain
 
BasicRole() - Constructor for class domain.BasicRole
 
BasicValueDomain - Class in domain
 
BasicValueDomain() - Constructor for class domain.BasicValueDomain
 

C

concept - Variable in class assertions.IdentificationAssertion
 
ConceptAttributeDomain - Class in domain
 
ConceptAttributeDomain(AtomicConceptAttribute) - Constructor for class domain.ConceptAttributeDomain
 
ConceptAttributeRange - Class in domain
 
ConceptAttributeRange(AtomicConceptAttribute) - Constructor for class domain.ConceptAttributeRange
 
conceptAttributes - Variable in class tbox.Alfabeth
 
conceptDisjointness(TBox) - Static method in class translation.FOLTranslator
 
concepts - Variable in class tbox.Alfabeth
 
createBasicConcept(Node) - Method in class tbox.TBoxParser
 
createBasicRole(Node) - Method in class tbox.TBoxParser
 
createBasicValueDomain(Node) - Method in class tbox.TBoxParser
 
createGeneralConcept(Node) - Method in class tbox.TBoxParser
 
createGeneralConceptAttribute(Node) - Method in class tbox.TBoxParser
 
createGeneralRole(Node) - Method in class tbox.TBoxParser
 
createGeneralRoleAttribute(Node) - Method in class tbox.TBoxParser
 
createGeneralValueDomain(Node) - Method in class tbox.TBoxParser
 

D

DirectRole - Class in domain
 
DirectRole(AtomicRole) - Constructor for class domain.DirectRole
 
DirectRoleAttributeDomain - Class in domain
 
DirectRoleAttributeDomain(AtomicRoleAttribute) - Constructor for class domain.DirectRoleAttributeDomain
 
domain - package domain
 
dx - Variable in class assertions.ISA
 

E

elem - Variable in class assertions.FunctionalityAssertion
 
equals(Object) - Method in class assertions.ISA
 
equals(Object) - Method in class domain.AtomicConcept
 
equals(Object) - Method in class domain.AtomicConceptAttribute
 
equals(Object) - Method in class domain.AtomicRole
 
equals(Object) - Method in class domain.AtomicRoleAttribute
 
equals(Object) - Method in class domain.AtomicValueDomain
 
ExistentialRole - Class in domain
 
ExistentialRole(BasicRole) - Constructor for class domain.ExistentialRole
 

F

FOLTranslator - Class in translation
 
FOLTranslator() - Constructor for class translation.FOLTranslator
 
Functionable - Interface in domain
 
FunctionalityAssertion - Class in assertions
 
FunctionalityAssertion(Functionable) - Constructor for class assertions.FunctionalityAssertion
 
functionalityAssertions - Variable in class tbox.TBox
 

G

GeneralConcept - Class in domain
 
GeneralConcept() - Constructor for class domain.GeneralConcept
 
GeneralConceptAttribute - Class in domain
 
GeneralConceptAttribute() - Constructor for class domain.GeneralConceptAttribute
 
GeneralRole - Class in domain
 
GeneralRole() - Constructor for class domain.GeneralRole
 
GeneralRoleAttribute - Class in domain
 
GeneralRoleAttribute() - Constructor for class domain.GeneralRoleAttribute
 
GeneralValueDomain - Class in domain
 
GeneralValueDomain() - Constructor for class domain.GeneralValueDomain
 
getAlfabeth() - Method in class tbox.TBox
 
getBasicConcept() - Method in class domain.NegatedBasicConcept
 
getBasicRole() - Method in class domain.ExistentialRole
 
getBasicRole() - Method in class domain.NegatedBasicRole
 
getConcept() - Method in class assertions.IdentificationAssertion
 
getConceptAttribute() - Method in class domain.ConceptAttributeDomain
 
getConceptAttribute() - Method in class domain.ConceptAttributeRange
 
getConceptAttribute() - Method in class domain.NegatedConceptAttribute
 
getConceptAttributes() - Method in class tbox.Alfabeth
 
getConcepts() - Method in class tbox.Alfabeth
 
getDx() - Method in class assertions.ISA
 
getElem() - Method in class assertions.FunctionalityAssertion
 
getFunctionalityAssertions() - Method in class tbox.TBox
 
getIdentificationAssertions() - Method in class tbox.TBox
 
getIdlist_attr() - Method in class assertions.IdentificationAssertion
 
getIdlist_role() - Method in class assertions.IdentificationAssertion
 
getInclusionAssertions() - Method in class tbox.TBox
 
getLeft() - Method in class assertions.InclusionAssertion
 
getLista_isa() - Method in class tbox.TBox
 
getName() - Method in class domain.AtomicConcept
 
getName() - Method in class domain.AtomicConceptAttribute
 
getName() - Method in class domain.AtomicRole
 
getName() - Method in class domain.AtomicRoleAttribute
 
getName() - Method in class domain.AtomicValueDomain
 
getRight() - Method in class assertions.InclusionAssertion
 
getRole() - Method in class domain.DirectRole
 
getRole() - Method in class domain.InverseRole
 
getRoleAttribute() - Method in class domain.DirectRoleAttributeDomain
 
getRoleAttribute() - Method in class domain.InverseRoleAttributeDomain
 
getRoleAttribute() - Method in class domain.NegatedRoleAttribute
 
getRoleAttribute() - Method in class domain.RoleAttributeRange
 
getRoleAttributes() - Method in class tbox.Alfabeth
 
getRoles() - Method in class tbox.Alfabeth
 
getSx() - Method in class assertions.ISA
 
getTbox() - Method in class tbox.TBoxParser
 
getValueSets() - Method in class tbox.Alfabeth
 

H

hashCode() - Method in class assertions.ISA
 
hashCode() - Method in class domain.AtomicConcept
 
hashCode() - Method in class domain.AtomicConceptAttribute
 
hashCode() - Method in class domain.AtomicRole
 
hashCode() - Method in class domain.AtomicRoleAttribute
 
hashCode() - Method in class domain.AtomicValueDomain
 

I

IdentificationAssertion - Class in assertions
 
IdentificationAssertion(BasicConcept, Collection<AtomicConceptAttribute>, Collection<BasicRole>) - Constructor for class assertions.IdentificationAssertion
 
identificationAssertions - Variable in class tbox.TBox
 
idlist_attr - Variable in class assertions.IdentificationAssertion
 
idlist_role - Variable in class assertions.IdentificationAssertion
 
Included - Interface in domain
 
Including - Interface in domain
 
InclusionAssertion - Class in assertions
 
InclusionAssertion(Included, Including) - Constructor for class assertions.InclusionAssertion
 
inclusionAssertions - Variable in class tbox.TBox
 
InverseRole - Class in domain
 
InverseRole(AtomicRole) - Constructor for class domain.InverseRole
 
InverseRoleAttributeDomain - Class in domain
 
InverseRoleAttributeDomain(AtomicRoleAttribute) - Constructor for class domain.InverseRoleAttributeDomain
 
ISA - Class in assertions
 
ISA(AtomicConcept, AtomicConcept) - Constructor for class assertions.ISA
 
isConceptAttributeInclusion() - Method in class assertions.InclusionAssertion
 
isConceptInclusion() - Method in class assertions.InclusionAssertion
 
isInverse(Node) - Method in class tbox.TBoxParser
 
isRoleAttributeInclusion() - Method in class assertions.InclusionAssertion
 
isRoleInclusion() - Method in class assertions.InclusionAssertion
 
isValueDomainInclusion() - Method in class assertions.InclusionAssertion
 

L

left - Variable in class assertions.InclusionAssertion
 
lista_isa - Variable in class tbox.TBox
 
loadAlphabet(Node) - Method in class tbox.TBoxParser
 
loadConceptAttrInclusion(Node) - Method in class tbox.TBoxParser
 
loadConceptInclusion(Node) - Method in class tbox.TBoxParser
 
loadRoleAttrInclusion(Node) - Method in class tbox.TBoxParser
 
loadRoleInclusion(Node) - Method in class tbox.TBoxParser
 
loadTBox(Node) - Method in class tbox.TBoxParser
 
loadValueSetInclusion(Node) - Method in class tbox.TBoxParser
 

M

Main - Class in translation
 
Main() - Constructor for class translation.Main
 
main(String[]) - Static method in class translation.Main
 

N

name - Variable in class domain.AtomicConcept
 
name - Variable in class domain.AtomicConceptAttribute
 
name - Variable in class domain.AtomicRole
 
name - Variable in class domain.AtomicRoleAttribute
 
name - Variable in class domain.AtomicValueDomain
 
NegatedBasicConcept - Class in domain
 
NegatedBasicConcept(BasicConcept) - Constructor for class domain.NegatedBasicConcept
 
NegatedBasicRole - Class in domain
 
NegatedBasicRole(BasicRole) - Constructor for class domain.NegatedBasicRole
 
NegatedConceptAttribute - Class in domain
 
NegatedConceptAttribute(AtomicConceptAttribute) - Constructor for class domain.NegatedConceptAttribute
 
NegatedRoleAttribute - Class in domain
 
NegatedRoleAttribute(AtomicRoleAttribute) - Constructor for class domain.NegatedRoleAttribute
 

P

parseXML(String) - Method in class tbox.TBoxParser
 

Q

q - Variable in class domain.ExistentialRole
 
q - Variable in class domain.NegatedBasicRole
 

R

right - Variable in class assertions.InclusionAssertion
 
role - Variable in class domain.DirectRole
 
role - Variable in class domain.InverseRole
 
RoleAttributeRange - Class in domain
 
RoleAttributeRange(AtomicRoleAttribute) - Constructor for class domain.RoleAttributeRange
 
roleAttributes - Variable in class tbox.Alfabeth
 
roles - Variable in class tbox.Alfabeth
 
rootChildren - Variable in class tbox.TBoxParser
 

S

setAlfabeth(Alfabeth) - Method in class tbox.TBox
 
setBasicConcept(BasicConcept) - Method in class domain.NegatedBasicConcept
 
setBasicRole(BasicRole) - Method in class domain.ExistentialRole
 
setBasicRole(BasicRole) - Method in class domain.NegatedBasicRole
 
setConcept(BasicConcept) - Method in class assertions.IdentificationAssertion
 
setConceptAttribute(AtomicConceptAttribute) - Method in class domain.ConceptAttributeRange
 
setConceptAttribute(AtomicConceptAttribute) - Method in class domain.NegatedConceptAttribute
 
setConceptAttributes(Collection<AtomicConceptAttribute>) - Method in class tbox.Alfabeth
 
setConcepts(Collection<AtomicConcept>) - Method in class tbox.Alfabeth
 
setDx(AtomicConcept) - Method in class assertions.ISA
 
setElem(Functionable) - Method in class assertions.FunctionalityAssertion
 
setFunctionalityAssertions(Collection<FunctionalityAssertion>) - Method in class tbox.TBox
 
setIdentificationAssertions(Collection<IdentificationAssertion>) - Method in class tbox.TBox
 
setIdlist_attr(Collection<AtomicConceptAttribute>) - Method in class assertions.IdentificationAssertion
 
setIdlist_role(Collection<BasicRole>) - Method in class assertions.IdentificationAssertion
 
setInclusionAssertions(Collection<InclusionAssertion>) - Method in class tbox.TBox
 
setLeft(Included) - Method in class assertions.InclusionAssertion
 
setLista_isa(Collection<ISA>) - Method in class tbox.TBox
 
setName(String) - Method in class domain.AtomicConcept
 
setName(String) - Method in class domain.AtomicConceptAttribute
 
setName(String) - Method in class domain.AtomicRole
 
setName(String) - Method in class domain.AtomicRoleAttribute
 
setName(String) - Method in class domain.AtomicValueDomain
 
setRight(Including) - Method in class assertions.InclusionAssertion
 
setRole(AtomicRole) - Method in class domain.DirectRole
 
setRole(AtomicRole) - Method in class domain.InverseRole
 
setRoleAttribute(AtomicRoleAttribute) - Method in class domain.DirectRoleAttributeDomain
 
setRoleAttribute(AtomicRoleAttribute) - Method in class domain.InverseRoleAttributeDomain
 
setRoleAttribute(AtomicRoleAttribute) - Method in class domain.NegatedRoleAttribute
 
setRoleAttribute(AtomicRoleAttribute) - Method in class domain.RoleAttributeRange
 
setRoleAttributes(Collection<AtomicRoleAttribute>) - Method in class tbox.Alfabeth
 
setRoles(Collection<AtomicRole>) - Method in class tbox.Alfabeth
 
setSx(AtomicConcept) - Method in class assertions.ISA
 
setUConceptAttribute(AtomicConceptAttribute) - Method in class domain.ConceptAttributeDomain
 
setValueSets(Collection<AtomicValueDomain>) - Method in class tbox.Alfabeth
 
sx - Variable in class assertions.ISA
 

T

tbox - package tbox
 
TBox - Class in tbox
 
TBox() - Constructor for class tbox.TBox
 
TBox(Collection<InclusionAssertion>, Collection<FunctionalityAssertion>, Collection<IdentificationAssertion>, Alfabeth, Collection<ISA>) - Constructor for class tbox.TBox
 
tbox - Variable in class tbox.TBoxParser
 
TBoxParser - Class in tbox
 
TBoxParser(String) - Constructor for class tbox.TBoxParser
 
toFOLPredicates() - Method in class tbox.Alfabeth
 
topC - Variable in class tbox.TBoxParser
 
topD - Variable in class tbox.TBoxParser
 
toString() - Method in class assertions.FunctionalityAssertion
 
toString() - Method in class assertions.IdentificationAssertion
 
toString() - Method in class assertions.InclusionAssertion
 
toString() - Method in class domain.AtomicConcept
 
toString() - Method in class domain.AtomicConceptAttribute
 
toString() - Method in class domain.AtomicRole
 
toString() - Method in class domain.AtomicRoleAttribute
 
toString() - Method in class domain.AtomicValueDomain
 
toString() - Method in class domain.ConceptAttributeDomain
 
toString() - Method in class domain.ConceptAttributeRange
 
toString() - Method in class domain.DirectRole
 
toString() - Method in class domain.DirectRoleAttributeDomain
 
toString() - Method in class domain.ExistentialRole
 
toString() - Method in class domain.InverseRole
 
toString() - Method in class domain.InverseRoleAttributeDomain
 
toString() - Method in class domain.NegatedBasicConcept
 
toString() - Method in class domain.NegatedBasicRole
 
toString() - Method in class domain.NegatedConceptAttribute
 
toString() - Method in class domain.NegatedRoleAttribute
 
toString() - Method in class domain.RoleAttributeRange
 
toString() - Method in class tbox.Alfabeth
 
toString() - Method in class tbox.TBox
 
translate(TBox) - Static method in class translation.FOLTranslator
 
translateConceptAttributeInclusionAssertion(InclusionAssertion) - Static method in class translation.FOLTranslator
 
translateConceptInclusionAssertion(TBox, InclusionAssertion) - Static method in class translation.FOLTranslator
 
translateFunctionalityAssertion(FunctionalityAssertion) - Static method in class translation.FOLTranslator
 
translateIdentificationAssertion(IdentificationAssertion) - Static method in class translation.FOLTranslator
 
translateInclusionAssertion(TBox, InclusionAssertion) - Static method in class translation.FOLTranslator
 
translateRoleAttributeInclusionAssertion(InclusionAssertion) - Static method in class translation.FOLTranslator
 
translateRoleInclusionAssertion(InclusionAssertion) - Static method in class translation.FOLTranslator
 
translateValueDomainInclusionAssertion(InclusionAssertion) - Static method in class translation.FOLTranslator
 
translation - package translation
 

U

uc - Variable in class domain.ConceptAttributeDomain
 
uc - Variable in class domain.ConceptAttributeRange
 
uc - Variable in class domain.NegatedConceptAttribute
 
ur - Variable in class domain.DirectRoleAttributeDomain
 
ur - Variable in class domain.InverseRoleAttributeDomain
 
ur - Variable in class domain.NegatedRoleAttribute
 
ur - Variable in class domain.RoleAttributeRange
 

V

valueDisjointness(TBox) - Static method in class translation.FOLTranslator
 
valueSets - Variable in class tbox.Alfabeth
 

A B C D E F G H I L M N P Q R S T U V